xen/arm: Zeroed vgic ranks during the initialization
authorJulien Grall <julien.grall@linaro.org>
Thu, 27 Jun 2013 19:58:39 +0000 (20:58 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 28 Jun 2013 11:33:37 +0000 (12:33 +0100)
commitcea19463ef5078d79438e2bdc85daad4398eae64
treeed875920de5ece775bf892e7781e0dc18294ac7f
parentf02a88f607de9107eb03bfeeb4411801d7aab926
xen/arm: Zeroed vgic ranks during the initialization

vgic_rank contains data which inform the guest if an IRQ is
enabled/actived/pending...

The structure must be zeroed otherwise the guest can retrieve wrong GIC state.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/vgic.c